CS Computer Science and Information Technology Section1: Engineering Mathematics Discrete Mathematics: Propositional and first order logic. Sets, relations, functions, partial

Source URL: www.gate.iisc.ernet.in

Appears in Computer Science Logic: Proceedings of the 18th International Workshop CSL 2004, Karpacz, Poland, September 20–24, 2004, Lecture Notes in Computer Science 3210, pages 235–249. Springer-Verlag, 2004. A Depe

Source URL: www2.tcs.ifi.lmu.de

Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss

Source URL: i12www.iti.kit.edu

Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa

Source URL: www.cis.upenn.edu

Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

Source URL: i12www.iti.kit.edu

In: O. Danvy, R. Gluck, P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12{16, 1996, Lecture Notes in Computer Science 1110, Springer, A Theory of Logic Program

Source URL: repository.readscheme.org

Program of the Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE 21–24 June 2011, Toronto, Ontario, Canada The symposium is sponsored by the IEEE Computer Society’s Technical Committee on Mathematical

Source URL: lics.rwth-aachen.de

ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵ ｃｏｓｔ＠ＰＵＵＯＱＵ ｄｅｃｉｓｉｏｎ ｓｵ｢ｪ･｣ｴＺ＠

Source URL: w3.cost.eu

• Software engineering
• Software
• Type theory
• Programming language theory
• Proof assistants
• Functional languages
• Formal methods
• Logic in computer science
• Formal verification
• Dependent type
• Agda
• Coq

1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay ()

Source URL: barzilay.org

• Abstraction
• Theoretical computer science
• Lambda calculus
• Software engineering
• Cognitive science
• Models of computation
• Logic in computer science
• Data management
• Combinatory logic
• Factory
• Deductive lambda calculus

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

Source URL: www.mancoosi.org

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Operations research
• Logic in computer science
• Mathematical optimization
• NP-complete problems
• Boolean algebra
• Maximum satisfiability problem
• Boolean satisfiability problem
• Constraint satisfaction
• Solver